JP2005209176A - アプリケーションをコンパイルするための方法 - Google Patents
アプリケーションをコンパイルするための方法 Download PDFInfo
- Publication number
- JP2005209176A JP2005209176A JP2004371582A JP2004371582A JP2005209176A JP 2005209176 A JP2005209176 A JP 2005209176A JP 2004371582 A JP2004371582 A JP 2004371582A JP 2004371582 A JP2004371582 A JP 2004371582A JP 2005209176 A JP2005209176 A JP 2005209176A
- Authority
- JP
- Japan
- Prior art keywords
- logic module
- computer
- declarative
- procedural
- semantic
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/31—Programming languages or programming paradigms
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/24—Querying
- G06F16/245—Query processing
- G06F16/2452—Query translation
- G06F16/24522—Translation of natural language queries to structured queries
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/10—Text processing
- G06F40/12—Use of codes for handling textual entities
- G06F40/14—Tree-structured documents
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/10—Text processing
- G06F40/12—Use of codes for handling textual entities
- G06F40/14—Tree-structured documents
- G06F40/143—Markup, e.g. Standard Generalized Markup Language [SGML] or Document Type Definition [DTD]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/30—Semantic analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Computational Linguistics (AREA)
- Artificial Intelligence (AREA)
- General Health & Medical Sciences (AREA)
- Audiology, Speech & Language Pathology (AREA)
- Health & Medical Sciences (AREA)
- Data Mining & Analysis (AREA)
- Databases & Information Systems (AREA)
- Computing Systems (AREA)
- Stored Programmes (AREA)
- Devices For Executing Special Programs (AREA)
- Medicines Containing Material From Animals Or Micro-Organisms (AREA)
- Peptides Or Proteins (AREA)
Abstract
【解決手段】少なくとも1つの意味スロットを有する意味オブジェクトを定義するように適合された宣言型論理モジュール226内の意味オブジェクトにアクセスが行われて、宣言型論理モジュール226を参照して前記1つの意味オブジェクトに対して実行されるアクションを定義するように適合された手続き型論理モジュール224内でアクションが実行される。
【選択図】図3
Description
<Class1 type="foo1">
<Slot1 type="foo2" max="10"/>
...
</Class1>
public partial class Class1: SemObj{
public SemObj noDoubt; //明らかにプレースホルダであり、スロットではない
public void Evaluate(){
int size=Slot1.Count(); //XMLで定義されたSlot1にアクセスする
...//ここではドメイン論理を実装することに重点を置く
noDoubt=Slot1[0];
}
}
<sml text="Schedule a flight from Seattle to Minneapolis next Tuesday" confidence="90">
<TravelSemanticObject text="flight">
<TravelMeans type="airline">
<DepartureCity type="airport code"> SEA
</DepartureCity>
<ArrivalCity type="airport code"> MSP
</ArrivalCity>
<StartDate type="date"> April 27
</StartDate>
</TravelMeans>
</TravelSemanticObject>
</sml>
202 論理モジュール群
204 知識ベース
Claims (23)
- コンピュータ上で実施されたとき、前記コンピュータに情報を処理させる命令群を有するコンピュータ可読媒体であって、前記命令群は、
少なくとも1つの意味スロットを有する意味オブジェクトを定義するように適合された宣言型論理モジュールと、
前記宣言型論理モジュールを参照して前記意味オブジェクトに対して実行されるアクションを定義するように適合された手続き型論理モジュールと
を備えたことを特徴とするコンピュータ可読媒体。 - 前記宣言型論理モジュールは、XML、LISP、およびPrologの少なくとも1つを使用して実装されることを特徴とする請求項1に記載のコンピュータ可読媒体。
- 前記手続き型論理モジュールは、C、C++、Java(登録商標)、およびC#の少なくとも1つを使用して実装されることを特徴とする請求項1に記載のコンピュータ可読媒体。
- 前記命令群は、前記宣言型論理モジュールを参照して前記意味オブジェクトに対して実行されるアクションを定義するように適合された第2の手続き型論理モジュールをさらに含むことを特徴とする請求項1に記載のコンピュータ可読媒体。
- 前記宣言型論理モジュールは、階層構造で関連する意味オブジェクトのスキーマを定義するように適合されることを特徴とする請求項1に記載のコンピュータ可読媒体。
- 前記意味オブジェクトは、複数のスロットを含むことを特徴とする請求項1に記載のコンピュータ可読媒体。
- 前記宣言型論理モジュールおよび前記手続き型論理モジュールを、プロセッサが読み取ることができる機械語に変換するように適合されたコンパイラをさらに含むことを特徴とする請求項1に記載のコンピュータ可読媒体。
- ユーザから自然言語入力を受け取るためのインタフェースをさらに備えたことを特徴とする請求項1に記載のコンピュータ可読媒体。
- 前記宣言型論理モジュールの前記少なくとも1つのスロットは、前記自然言語入力の少なくとも一部分で占有されるように適合されることを特徴とする請求項8に記載のコンピュータ可読媒体。
- 前記手続き型論理モジュールは、占有されている前記少なくとも1つのスロットに対してアクションを実行することを特徴とする請求項9に記載のコンピュータ可読媒体。
- 前記インタフェースは、占有された前記少なくとも1つのスロットに基づいて知識ベースにアクセスするように適合されることを特徴とする請求項9に記載のコンピュータ可読媒体。
- アプリケーションをコンパイルするための方法であって、
宣言型論理モジュールに対応する手続き型論理モジュール内の指定を識別するステップと、
前記宣言型論理モジュール内の意味オブジェクトにアクセスして、前記手続き型論理モジュール内でアクションを実行するステップと
を備えることを特徴とする方法。 - 前記手続き型論理モジュールおよび前記宣言型論理モジュールを、プロセッサが読み取ることができる機械語に変換するステップ
をさらに備えることを特徴とする請求項12に記載の方法。 - 複数の手続き型論理モジュールは、前記宣言型論理モジュールに対応する前記指定を含むことを特徴とする請求項12に記載の方法。
- 複数の関連する意味オブジェクトを階層構造で宣言するステップ
をさらに備えることを特徴とする請求項12に記載の方法。 - 前記指定は、部分クラス指定であることを特徴とする請求項12に記載の方法。
- 自然言語入力を処理するための手続き型論理モジュールであって、
少なくとも1つのスロットを有する意味オブジェクトを定義する宣言型論理モジュールに対応する指定と、
前記意味オブジェクトを使用して前記宣言型論理モジュールに対してアクションを実行するように適合された手続き型コードと
を備えたことを特徴とするモジュール。 - 前記意味オブジェクトおよび前記少なくとも1つのスロットを使用して知識ベースにアクセスするようにさらに適合されることを特徴とする請求項17に記載の論理モジュール。
- 前記指定は、前記意味オブジェクトを参照する部分クラス指定であることを特徴とする請求項17に記載の論理モジュール。
- 前記意味オブジェクトは、複数のスロットを定義することを特徴とする請求項17に記載の論理モジュール。
- 前記指定は、階層構造に構成された複数の意味オブジェクトに対応することを特徴とする請求項17に記載の論理モジュール。
- 自然言語入力を処理するためのコンピュータ可読媒体であって、
階層構造に構成された複数の意味オブジェクトを定義する宣言型論理モジュールに対応する指定をそれぞれが含む複数の手続き型論理モジュールを含み、該意味オブジェクトはそれぞれ、前記自然言語入力で占有することができる複数のスロットを含むことを特徴とする媒体。 - 各指定は、部分クラス指定であることを特徴とする請求項22に記載のコンピュータ可読媒体。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US53830604P | 2004-01-22 | 2004-01-22 | |
US10/847,828 US20050166182A1 (en) | 2004-01-22 | 2004-05-18 | Distributed semantic schema |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2005209176A true JP2005209176A (ja) | 2005-08-04 |
Family
ID=34636696
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2004371582A Pending JP2005209176A (ja) | 2004-01-22 | 2004-12-22 | アプリケーションをコンパイルするための方法 |
Country Status (7)
Country | Link |
---|---|
US (1) | US20050166182A1 (ja) |
EP (1) | EP1557752B1 (ja) |
JP (1) | JP2005209176A (ja) |
KR (1) | KR101120758B1 (ja) |
CN (1) | CN1645318A (ja) |
AT (1) | ATE368887T1 (ja) |
DE (1) | DE602004007872T2 (ja) |
Families Citing this family (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7561673B2 (en) | 2004-09-30 | 2009-07-14 | Microsoft Corporation | Integration of speech services with telecommunications |
US8365149B2 (en) * | 2008-02-29 | 2013-01-29 | International Business Machines Corporation | Debugger for a declarative event-driven programming model |
US8627299B2 (en) | 2008-02-29 | 2014-01-07 | International Business Machines Corporation | Virtual machine and programming language for event processing |
US8397216B2 (en) * | 2008-02-29 | 2013-03-12 | International Business Machines Corporation | Compiler for a declarative event-driven programming model |
US8918716B2 (en) * | 2009-09-24 | 2014-12-23 | Oracle International Corporation | Context-based smart tags |
US9600250B2 (en) | 2010-10-08 | 2017-03-21 | Microsoft Technology Licensing, Llc | Declarative programming model with a native programming language |
US9600255B2 (en) | 2010-10-08 | 2017-03-21 | Microsoft Technology Licensing, Llc | Dynamic data and compute resource elasticity |
US9658890B2 (en) | 2010-10-08 | 2017-05-23 | Microsoft Technology Licensing, Llc | Runtime agnostic representation of user code for execution with selected execution runtime |
US9760348B2 (en) | 2010-11-29 | 2017-09-12 | Microsoft Technology Licensing, Llc | Verification of a dataflow representation of a program through static type-checking |
US9851950B2 (en) * | 2011-11-15 | 2017-12-26 | Wolfram Alpha Llc | Programming in a precise syntax using natural language |
US20150293669A1 (en) * | 2014-04-09 | 2015-10-15 | Zulahoo, Inc. | Apparatus, method, and computer system for generating contained, usable objects that are dynamically configurable |
CN116820564B (zh) * | 2023-07-06 | 2024-04-02 | 四川大学 | 程序语言的统一形式语义化方法 |
Family Cites Families (17)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0602263A1 (en) * | 1992-12-15 | 1994-06-22 | International Business Machines Corporation | User interface program generator |
EP0667586A3 (en) * | 1994-02-14 | 1996-08-28 | Digital Equipment Corp | Database creation system. |
US7146479B2 (en) * | 2001-07-18 | 2006-12-05 | City U Research Limited | Method and apparatus of storage allocation/de-allocation in object-oriented programming environment |
US6567778B1 (en) * | 1995-12-21 | 2003-05-20 | Nuance Communications | Natural language speech recognition using slot semantic confidence scores related to their word recognition confidence scores |
CA2165893C (en) * | 1995-12-21 | 2001-03-13 | Richard Denison Mcdonald | Visual application partitioning for creating distributed object oriented applications |
US6145120A (en) * | 1998-03-24 | 2000-11-07 | Lockheed Martin Corporation | Declaration programming language extension for procedural programming languages |
US6182277B1 (en) * | 1998-04-15 | 2001-01-30 | Oracle Corporation | Methods and apparatus for declarative programming techniques in an object oriented environment |
US6405368B1 (en) * | 1999-04-16 | 2002-06-11 | Brian Freyburger | Method for separate compilation of templates |
WO2001057720A2 (en) * | 2000-02-04 | 2001-08-09 | America Online Incorporated | Automated client-server data validation |
US20030233219A1 (en) * | 2002-05-23 | 2003-12-18 | Geroge Landers | Method and apparatus emulating read only memories with combinatorial logic networks, and methods and apparatus generating read only memory emulator combinatorial logic networks |
AU2001295080A1 (en) * | 2000-09-29 | 2002-04-08 | Professorq, Inc. | Natural-language voice-activated personal assistant |
US6968541B1 (en) * | 2000-10-04 | 2005-11-22 | International Business Machines Corporation | Apparatus and method for template instantiation with a cross compiler |
US7047524B1 (en) * | 2000-12-30 | 2006-05-16 | Hyperformix | Object oriented ADN and method of converting a non-object oriented computer language to an object oriented computer language |
US7246104B2 (en) * | 2001-03-21 | 2007-07-17 | Nokia Corporation | Method and apparatus for information delivery with archive containing metadata in predetermined language and semantics |
US7200627B2 (en) * | 2001-03-21 | 2007-04-03 | Nokia Corporation | Method and apparatus for generating a directory structure |
WO2002086864A1 (en) * | 2001-04-18 | 2002-10-31 | Rutgers, The State University Of New Jersey | System and method for adaptive language understanding by computers |
US7561673B2 (en) * | 2004-09-30 | 2009-07-14 | Microsoft Corporation | Integration of speech services with telecommunications |
-
2004
- 2004-05-18 US US10/847,828 patent/US20050166182A1/en not_active Abandoned
- 2004-11-25 DE DE602004007872T patent/DE602004007872T2/de active Active
- 2004-11-25 EP EP04028052A patent/EP1557752B1/en not_active Not-in-force
- 2004-11-25 AT AT04028052T patent/ATE368887T1/de not_active IP Right Cessation
- 2004-12-03 KR KR1020040101220A patent/KR101120758B1/ko not_active IP Right Cessation
- 2004-12-22 JP JP2004371582A patent/JP2005209176A/ja active Pending
- 2004-12-22 CN CNA2004100603950A patent/CN1645318A/zh active Pending
Also Published As
Publication number | Publication date |
---|---|
KR20050076733A (ko) | 2005-07-27 |
ATE368887T1 (de) | 2007-08-15 |
KR101120758B1 (ko) | 2012-03-23 |
US20050166182A1 (en) | 2005-07-28 |
DE602004007872T2 (de) | 2007-12-20 |
EP1557752A2 (en) | 2005-07-27 |
CN1645318A (zh) | 2005-07-27 |
DE602004007872D1 (de) | 2007-09-13 |
EP1557752B1 (en) | 2007-08-01 |
EP1557752A3 (en) | 2005-08-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8201139B2 (en) | Semantic framework for natural language programming | |
US7689410B2 (en) | Lexical semantic structure | |
RU2421784C2 (ru) | Моделирование отношений | |
JP4901155B2 (ja) | 音声認識装置が使用するのに適した文法を生成するための方法、媒体、およびシステム | |
KR101213890B1 (ko) | 강한 데이터 유형을 이용하여 소프트웨어 프로그램에서음성 인식 문법을 나타내기 위한 방법 | |
US20240036843A1 (en) | Adapting existing source code snippets to new contexts | |
JP2005209176A (ja) | アプリケーションをコンパイルするための方法 | |
US20040122653A1 (en) | Natural language interface semantic object module | |
Śmiałek et al. | Complementary use case scenario representations based on domain vocabularies | |
US7752596B2 (en) | Connecting alternative development environment to interpretive runtime engine | |
Soares et al. | VoiceToModel: an approach to generate requirements models from speech recognition mechanisms | |
KR101130410B1 (ko) | 의미 프로그래밍 언어 및 언어 객체 모델 | |
Savic et al. | Use case specification at different levels of abstraction | |
Melnik | From “hand-written” to computationally implemented HPSG theories | |
John | Leveraging traditional software engineering tools to ontology engineering under a new methodology | |
Baena-Perez et al. | A framework to create conversational agents for the development of video games by end-users | |
JP5014584B2 (ja) | 意味論的プログラミング言語および言語オブジェクトモデル | |
Imam et al. | The Use of the Pre-Trained BERT and GPT-3 Models to Automate the Composing of Use Case Descriptions | |
Dorodnykh et al. | Model transformations for intelligent systems engineering | |
CN110737431A (zh) | 软件开发方法、开发平台、终端设备及存储介质 | |
Wang | Formal description of the UML architecture and extendibility | |
US20080222598A1 (en) | Using a system of annotations to generate views and adapters | |
Heinroth et al. | The OwlSpeak adaptive spoken dialogue manager | |
Ramon et al. | The Guizmo Framework for Generating Final User Interfaces from Wireframes | |
Nguyen | Natural Language Generation From Ontologies Using Grammatical Framework |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20071128 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20101008 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110107 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110708 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20111005 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20111025 |