TAILIEUCHUNG - Báo cáo khoa học: "INFORMATION STATES AS FIRST CLASS CITIZENS"

The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The inference of a consequence make explicit something already implicit in the premises - - . that no information state change occurs if the (assumed) consequence text is processed after the (given) premise texts have been processed. Elementary logic (. first-order logic) can be used as a logical representation language for texts, but the notion of a information state (a set of possibilities - - namely first-order models). | INFORMATION STATES AS FIRST CLASS CITIZENS j0rgen Villadsen Centre for Language Technology University of Copenhagen Njalsgade 80 DK-2300 Copenhagen s Denmark Internet jv@ ABSTRACT The information state of an agent is changed when a text in natural language is processed. The meaning of a text can be taken to be this information state change potential. The inference of a consequence make explicit something already implicit in the premises . that no information state change occurs if the assumed consequence text is processed after the given premise texts have been processed. Elementary logic . first-order logic can be used as a logical representation language for texts but the notion of a information state a set of possibilities namely first-order models is not available from the object language belongs to the meta language . This means that texts with other texts as parts . propositional attitudes with embedded sentences cannot be treated directly. Traditional intensional logics . modal logic allow via modal operators access to the information states from the object language but the access is limited and interference with extensional notions like standard identity variables etc. is introduced. This does not mean that the ideas present in intensional logics will not work possibly improved by adding a notion of partiality but rather that often a formalisation in the simple type theory with sorts for entities and indices making information states first class citizens like individuals is more comprehensible flexible and logically well-behaved. INTRODUCTION Classical first-order logic hereafter called elementary logic is often used as logical representation language. For instance elementary logic has proven very useful when formalising mathematical structures like in axiomatic set theory number theory etc. Also in natural language processing NLP systems toy examples are easily formalised in elementary logic Every man lies. John is a man. So John lies.

• Báo cáo khoa học
• INFORMATION STATES
• FIRST CLASS CITIZENS
• Jorgen Villadsen
• báo cáo khoa học
• mô hình ngôn ngữ
• xử lý ngôn ngữ tự nhiên
• Computer Viruses
• Cyber Warfare
• Information Security
• Military Acquisition and Procurement
• Military Information Technology Systems
• The Internet
• United States Navy
• Computer Crime
• United States Air Force
• business plan completion
• Organization Information
• Legal Information
• Corporate Contact
• Service Categories
• Business Plan Submission
• Work of the components
• Information of protection tools
• Content filtering systems
• Square transition matrix
• Security administrator's attention
• Reproduction
• Cytokinins and Their
• Possible Role
• Seed Size
• Determination
• Nutritional and Proteomic
• potent combination
• commonest oral lesion
• oesophageal symptoms
• antiretroviral treatment
• TB incidence
• antiretroviral drugs
• Supplemental Information
• Capital Investment
• Mission Statement
• benefits for states
• Treasury
• Priorities and Context
• quality between
• section examines
• important small
• development
• products and new
• overarching question
• GIScience Capabilities
• National Mapping
• GIScience Research
• Priority Research
• CEGIS Funded
• bài Operating CEGIS
• technological information
• Environmental change
• Star scientists
• technological change
• inventive activity
• national laboratories
• báo cáo hóa học
• công trình nghiên cứu về hóa học
• tài liệu về hóa học
• cách trình bày báo cáo
• trình bày báo cáo
• tài liệu báo cáo khoa học
• nghiên cứu y học
• báo cáo y học
• kiến thức y học
• Information Sources
• Domestic Tourism
• States Presidents
• Admission Days
• Legal Holidays
• Movable Days
• Modern facilities
• computing facilities
• Bachelor of Business
• individual patients
• information accessible
• prescribed medicines
• sector availability
• originator brand medicines
• generic products range