TinkerType: a language for playing with formal systems
نویسندگان
چکیده
منابع مشابه
TinkerType: a language for playing with formal systems
TinkerType is a pragmatic framework for compact and modular description of formal systems (type systems, operational semantics, logics, etc.). A family of related systems is broken down into a set of clauses — individual inference rules — and a set of features controlling the inclusion of clauses in particular systems. Simple static checks are used to help maintain consistency of the generated ...
متن کاملFormal Language and Reasoning for Playing Go
In this paper, we introduce a formal grammar for playing Go that fundaments an automated Go-player. Go-tactics such as eyes, ladders, mutual life and nets are properly modeled and tested. As well as Go-strategies to offensive or defensive purpose are introduced and their performance is tested throughout Go matches against humans or previous well-known automated Goplayers like GNUGo. Results and...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولPML: Toward a High-Level Formal Language for Biological Systems
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of a system. Several researchers have proposed solving this problem by modeling pathways using formal languages, which have a precise and consistent semantics. While precise, many of these languages may be too low-level ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 2003
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s0956796802004550