On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic

2011 ◽  
pp. 185-200 ◽  
Author(s):  
Martín Rezk ◽  
Michael Kifer
Keyword(s):  
Action Language ◽  
Transaction Logic

Between the Social and the Political

2018 ◽  
Vol 5 (2) ◽  
pp. 90-98
Author(s):  
Pia Rowe ◽  
David Marsh
Keyword(s):  
Political Participation ◽  
Political Science ◽  
Political Action ◽  
The Political ◽  
Conventional Theory ◽  
Important Relationship ◽  
The Social ◽  
Action Language

While Wood and Flinders’ work to broaden the scope of what counts as “politics” in political science is a needed adjustment to conventional theory, it skirts an important relationship between society, the protopolitical sphere, and arena politics. We contend, in particular, that the language of everyday people articulates tensions in society, that such tensions are particularly observable online, and that this language can constitute the beginning of political action. Language can be protopolitical and should, therefore, be included in the authors’ revised theory of what counts as political participation.

Narrativity in Action: Language, Culture and Text

2017 ◽  
Author(s):  
Magdalena Grabowska ◽  
Grzegorz Grzegorczyk ◽  
Piotr Kallas
Keyword(s):  
Action Language

From research to action: Language policy in Jamaica

Prospects ◽  
1981 ◽  
Vol 11 (3) ◽  
pp. 372-380 ◽  
Author(s):  
Errol L. Miller
Keyword(s):  
Language Policy ◽  
Action Language

CoreALMlib: An library translated from the Component Library

2016 ◽  
Vol 16 (5-6) ◽  
pp. 800-816 ◽  
Author(s):  
DANIELA INCLEZAN
Keyword(s):  
Natural Language ◽  
Answer Set Programming ◽  
Natural Language Understanding ◽  
Inference Engine ◽  
Lexical Resources ◽  
Language Understanding ◽  
Commonsense Knowledge ◽  
Component Library ◽  
Action Language ◽  
Answer Set

AbstractThis paper presents CoreALMlib, an $\mathscr{ALM}$ library of commonsense knowledge about dynamic domains. The library was obtained by translating part of the Component Library (CLib) into the modular action language $\mathscr{ALM}$. CLib consists of general reusable and composable commonsense concepts, selected based on a thorough study of ontological and lexical resources. Our translation targets CLibstates (i.e., fluents) and actions. The resulting $\mathscr{ALM}$ library contains the descriptions of 123 action classes grouped into 43 reusable modules that are organized into a hierarchy. It is made available online and of interest to researchers in the action language, answer-set programming, and natural language understanding communities. We believe that our translation has two main advantages over its CLib counterpart: (i) it specifies axioms about actions in a more elaboration tolerant and readable way, and (ii) it can be seamlessly integrated with ASP reasoning algorithms (e.g., for planning and postdiction). In contrast, axioms are described in CLib using STRIPS-like operators, and CLib's inference engine cannot handle planning nor postdiction.

scholarly journals Modular action language

2015 ◽  
Vol 16 (2) ◽  
pp. 189-235 ◽  
Author(s):  
DANIELA INCLEZAN ◽  
MICHAEL GELFOND
Keyword(s):  
Logic Programming ◽  
Medium Size ◽  
Programming System ◽  
Problem Structuring ◽  
System Description ◽  
Action Languages ◽  
Special Cases ◽  
Action Language ◽  
Stepwise Development ◽  
High Level

AbstractThe paper introduces a new modular action language,${\mathcal ALM}$, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993,Journal of Logic Programming 17, 2–4, 301–321; 1998,Electronic Transactions on AI 3, 16, 193–210) in which a high-level action language is used as a front end for a logic programming system description. The resulting logic programming representation is used to perform various computational tasks. The methodology based on existing action languages works well for small and even medium size systems, but is not meant to deal with larger systems that requirestructuring of knowledge.$\mathcal{ALM}$is meant to remedy this problem. Structuring of knowledge in${\mathcal ALM}$is supported by the concepts ofmodule(a formal description of a specific piece of knowledge packaged as a unit),module hierarchy, andlibrary, and by the division of a system description of${\mathcal ALM}$into two parts:theoryandstructure. Atheoryconsists of one or more modules with a common theme, possibly organized into a module hierarchy based on adependency relation. It contains declarations of sorts, attributes, and properties of the domain together with axioms describing them.Structuresare used to describe the domain's objects. These features, together with the means for defining classes of a domain as special cases of previously defined ones, facilitate the stepwise development, testing, and readability of a knowledge base, as well as the creation of knowledge representation libraries.

Action language ℬ𝒞+

2015 ◽  
Vol 30 (4) ◽  
pp. 899-922 ◽  
Author(s):  
Joseph Babb ◽  
Joohyung Lee
Keyword(s):  
Main Idea ◽  
Answer Set Programming ◽  
Stable Model ◽  
Formal Models ◽  
Transition Systems ◽  
Action Languages ◽  
Action Language ◽  
Language Constructs ◽  
High Level ◽  
Answer Set

Abstract Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high-level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggregates and abstract constraint atoms. We propose a new action language called BC +, which closes the gap between action languages and the modern ASP language. The main idea is to define the semantics of BC + in terms of general stable model semantics for propositional formulas, under which many modern ASP language constructs can be identified with shorthands for propositional formulas. Language BC  + turns out to be sufficiently expressive to encompass the best features of other action languages, such as languages B , C , C + and BC . Computational methods available in ASP solvers are readily applicable to compute BC +, which led to an implementation of the language by extending system cplus2asp .

scholarly journals Research on Innovation of Design Education Based on Artificial Intelligence Technology

2021 ◽  
Vol 2136 (1) ◽  
pp. 012055
Author(s):  
Yan Yang ◽  
Zijian Sha
Keyword(s):  
Information Exchange ◽  
Design Education ◽  
Teaching Quality ◽  
Network Teaching ◽  
Server Side ◽  
Experimental Teaching ◽  
Artificial Intelligence Technology ◽  
Innovative Thinking ◽  
Teaching Efficiency ◽  
Transaction Logic

Abstract The network teaching assistance system uses the form of dialogue to discuss the teaching content with students, the course schedule arrangement, the way and technology of teaching and training, which can effectively improve the teaching quality, shorten the teaching time and increase the teaching efficiency to achieve the established optimization of teaching purposes. In this paper, a forum system for experimental teaching is proposed, which aims to establish a public communication platform to serve the experimental teaching process, and to apply it to the exchange and study between the experimental instructors and students. Through text multimedia technology, the quality of experimental teaching is improved, and students’ practical ability and innovative thinking are cultivated. The experimental teaching forum uses B/S structure to design the interactive platform of information exchange, and presents the information to the user through the browser. The transaction logic is processed by the server side, and the front-end represents the exchange of information.

Sign in / Sign up

Export Citation Format

Share Document